41. Enjoying natural computing :
پدیدآورنده: Carmen Graciani [and 4 others], (Eds).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Natural computation.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Machine Theory.,Computers-- Software Development & Engineering-- General.,Natural computation.,Software Engineering.,User interface design & usability.
رده :
QA76
.
9
.
N37
E55
2018eb
42. Environmental modelling :
پدیدآورنده: [editors] John Wainwright, Mark Mulligan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Environmental sciences-- Mathematical models
رده :
GE45
.
M37
E593
2013
43. Event-based neuromorphic systems /
پدیدآورنده: edited by Shih-Chii S. Liu, Tobi Delbruck, Giacomo Indiveri, Adrian Whatley, Rodney Douglas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Discrete-time systems.,Neural networks (Neurobiology)-- Simulation methods.,Neuromorphics.
رده :
TA164
.
4
44. Evolution and challenges in system development
پدیدآورنده: edited by Jože Zupančič [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Management information systems -- Congresses.,Management information systems.,System design -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
45. Fast and high-quality simulation of Transcranial direct current stimulation
پدیدآورنده: Amjed Yousif Sahib,Yousif Sahib,
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: tDCS modeling, MRI processing, segmentation, finite element method.,مدلسازی tDCS، پردازش MRI، تقسیم بندی، روش اجزای محدود(FEM).
46. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
47. Formal modeling and analysis of timed systems :
پدیدآورنده: Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
48. Future Trends in Microelectronics :
پدیدآورنده: edited by Serge Luryi, Jimmy Xu, Alex Zaslavsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Engineering.,Systems engineering.
49. Handbook of RAMS in Railway Systems :
پدیدآورنده: editors, Qamar Mahboob, Enrico Zio.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automobiles-- Design and construction.,Electric testing.,Electronic instruments.,Measurement.,Transportation engineering.,Automobiles-- Design and construction.,Electric testing.,Electronic instruments.,Measurement.,TECHNOLOGY & ENGINEERING-- Engineering (General),Transportation engineering.
رده :
TA1145
50. Handbook of research on computational methodologies in gene regulatory networks /
پدیدآورنده: Sanjoy Das [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Genetic regulation-- Mathematical models, Handbooks, manuals, etc.,Computational Biology-- methods.,Computer Simulation.,Gene Regulatory Networks.,Models, Genetic.,Genetic regulation-- Mathematical models.,SCIENCE-- Life Sciences-- Genetics & Genomics.
رده :
QH450
.
H36
2010
51. Integrated circuit and system design :
پدیدآورنده: René van Leuken, Gilles Sicard (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits-- Design and construction, Congresses,Integrated circuits, Congresses,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Simulation and Modeling,Software Engineering,System Performance and Evaluation
رده :
TK7874
.
P38
2011eb
52. Introduction to Discrete Event Systems
پدیدآورنده: by Christos G. Cassandras, Stéphane Lafortune.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Systems theory.
53. IoT for smart grids :
پدیدآورنده: editors Kostas Siozios [and three others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Smart power grids.,Automatic control engineering.,Cybernetics & systems theory.,Energy technology & engineering.,Information retrieval.,Power networks, systems, stations & plants.,Smart power grids.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK3105
54. MOSFET Models for VLSI Circuit Simulation :
پدیدآورنده: by Narain Arora.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Numerical analysis.,Software engineering.
رده :
TK7871
.
95
B963
1993
55. Metric-driven design verification :
پدیدآورنده: Hamilton B. Carter, Shankar Hemmady.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits-- Verification.,Ingénierie.,Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
58
.
C37
2007eb
56. Model and data engineering :
پدیدآورنده: Ladjel Bellatreche, Filipe Mota Pinto (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture, Congresses,Database management, Congresses,Knowledge management, Congresses
رده :
QA76
.
9
.
D3
M44
2011
57. Modeling Complex Data for Creating Information
پدیدآورنده: edited by Jacques-Emile Dubois, Nahum Gershon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cheminformatics.,Chemistry.,Communication in chemistry.
رده :
QA76
.
9
.
D26
E358
1996
58. Modeling and simulation in manufacturing and defense systems acquisition :
پدیدآورنده: Committee on Modeling and Simulation Enhancements for 21st Century Manufacturing and Acquisition, Board on Manufacturing and Engineering Design, Division on Engineering and Physical Sciences, National Research Council.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: BUSINESS & ECONOMICS-- Industries-- Service.,United States-- Armed Forces-- Weapon systems-- Computer simulation.,United States, Armed Forces, Procurement, Computer simulation.,United States, Armed Forces, Weapons systems, Computer simulation.,United States, Armed Forces, Procurement, Computer simulation.,United States., 0, 0, 7, 7
رده :
TC57
.
62
.
M63
2002eb
59. Modelling, Robustness and Sensitivity Reduction in Control Systems
پدیدآورنده: edited by Ruth F. Curtain.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Complexity.,Engineering.,Simulation and Modeling.
رده :
TJ212
.
2
E358
1987
60. On the move to meaningful internet systems:
پدیدآورنده: Robert Meersman, [and 7 more] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
رده :
TK5105
.
3
R634
2013
